Using tool abstraction to compose systems
نویسندگان
چکیده
منابع مشابه
HPorter: Using Arrows to Compose Parallel Processes
HPorter is a DSL embedded in Haskell for composing processes running on a parallel computer. Using arrows (a generalization of monads), one can “wire together” processes in a manner analogous to a signal-processing application. The processes themselves are typically existing C or C++ programs, but may also be programs written in a first-order sub-language in Haskell that supports basic arithmet...
متن کاملUsing Ports and Joints to Compose Virtual Prototypes of Mechatronic Systems in VR Environment
Nowadays, virtual prototyping helps the development of modern products in many ways. However, the increasing complexity of modern mechatronic products brings a great challenge to their virtual prototyping design. Especially, it becomes nearly impossible to compose the multi-disciplinary components into a mechatronic system in virtual environments. In order to resolve that problem, this paper pr...
متن کاملLearning to Compose Skills
We present a differentiable framework capable of learning a wide variety of compositions of simple policies that we call skills. By recursively composing skills with themselves, we can create hierarchies that display complex behavior. Skill networks are trained to generate skill-state embeddings that are provided as inputs to a trainable composition function, which in turn outputs a policy for ...
متن کاملUsing Parameterized UML to Specify and Compose Access Control Models
Abstract: Situations can arise in which organizations have to merge policies that are based on different access control frameworks, such as Role Based Access Control (RBAC) and Mandatory Access Control (MAC). Integrating policies requires addressing the following question: How will the integration impact access to protected resources? In particular, one needs to determine that the integration d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 1992
ISSN: 0018-9162
DOI: 10.1109/2.153255